| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Seminar I Theoretische Informatik | Aktuelle Themen der Effizienten Algorithmen | Seminar | 4 | 359047 | ||
| Algorithmische Geometrie | Seminar | 4 | 359083 | |||
| Approximationsalgorithmen | Seminar | 4 | 392205 | |||
| Optimization of Renewable Energy | Seminar | 4 | 394984 | |||
| Quantum Computation | Seminar | 4 | 388003 | |||
| Seminar Automatentheorie (Gruppe 1) | Seminar | 4 | 389842 | |||
| Seminar Automatentheorie (Gruppe 2) | Seminar | 4 | 389843 | |||
| Seminar NN | Seminar | 4 | 358466 | Mi 14:00-17:00 9220 (2359|220) (×1) Mi 14:00-17:00 9222 (2359|222) (×1) | ||
| Seminar Trends and Pearls of Model Checking | Seminar | 4 | 358467 | |||
| Seminar: Logik, Komplexität, Spiele | Seminar | 4 | 358833 | |||
| Topics in Algorithmics | Seminar | 4 | 392200 | |||
| Verifikationsverfahren | Seminar | 4 | 358159 | |||
| Seminar II Theoretische Informatik | Aktuelle Themen der Effizienten Algorithmen | Seminar | 4 | 359047 | ||
| Algorithmische Geometrie | Seminar | 4 | 359083 | |||
| Approximationsalgorithmen | Seminar | 4 | 392205 | |||
| Optimization of Renewable Energy | Seminar | 4 | 394984 | |||
| Quantum Computation | Seminar | 4 | 388003 | |||
| Seminar Automatentheorie (Gruppe 1) | Seminar | 4 | 389842 | |||
| Seminar Automatentheorie (Gruppe 2) | Seminar | 4 | 389843 | |||
| Seminar NN | Seminar | 4 | 358466 | Mi 14:00-17:00 9220 (2359|220) (×1) Mi 14:00-17:00 9222 (2359|222) (×1) | ||
| Seminar Trends and Pearls of Model Checking | Seminar | 4 | 358467 | |||
| Seminar: Logik, Komplexität, Spiele | Seminar | 4 | 358833 | |||
| Topics in Algorithmics | Seminar | 4 | 392200 | |||
| Verifikationsverfahren | Seminar | 4 | 358159 |